Quantitative local L2gain and Reachability analysis for nonlinear systems
نویسندگان
چکیده
1Department of Electrical Engineering and Computer Science, University of California at Berkeley, Berkeley, CA, USA 2Department of Aerospace Engineering and Mechanics, University of Minnesota, Minneapolis, MN, USA 3DSO National Laboratories, Singapore 4California Institute of Technology, Department of Control and Dynamical Systems, Pasadena, CA, USA 5Department of Mechanical Engineering, University of California at Berkeley, Berkeley, CA, USA
منابع مشابه
On the analysis of nonlinear nilpotent switched systems using the Hall-Sussmann system
We consider an open problem on the stability of nonlinear nilpotent switched systems posed by Daniel Liberzon. Partial solutions to this problem were obtained as corollaries of global nice reachability results for nilpotent control systems. The global structure is crucial in establishing stability. We show that nice reachability analysis may be reduced to the reachability analysis of a specific...
متن کاملConsistent hierarchies of nonlinear abstractionsGeorge
In this paper, we consider the problem of constructing hierarchies of nonlinear control systems that preserve reachability properties, and, in particular, local accessibility. In this hierarchical framework, showing local accessibility of the higher level abstracted model of the nonlinear control system is equivalent to showing local accessibility of the, more detailed, lower level model. Hiera...
متن کاملFractional dynamical systems: A fresh view on the local qualitative theorems
The aim of this work is to describe the qualitative behavior of the solution set of a given system of fractional differential equations and limiting behavior of the dynamical system or flow defined by the system of fractional differential equations. In order to achieve this goal, it is first necessary to develop the local theory for fractional nonlinear systems. This is done by the extension of...
متن کاملOn the existence of a continuous storage function for dissipative systems
Conditions for nonlocal existence of a continuous storage function for nonlinear dissipative system are presented. More precisely, it is shown that under the local ω-uniform reachability assumption at one point x∗ the required supply function is continuous on the set of points reachable from x∗. Conditions for the local ωuniform reachability based on the local controllability properties of the ...
متن کاملReachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کامل